The main concepts of a new HLL computer "CAMCOH"

نویسنده

  • Andrey N. Terekhov
چکیده

The concepts of a new computer and the peculiarities of its architecture are discussed. A new industrial technology of creating complicated embedded systems was elaborated in Sankt-Petersburg university in collaboration with some industrial institutes; it was successfully used in several large projects (electronic telephone stations, network control, etc.). The main idea of this technology is using fixed high level algorithmic language (HLL) through all life cycle stages beginning with requirements and specification to translation to the target computer codes and maintenance. It was shown that any HLL is not fit enough for successful use as a basic language. For technology purpose the best are languages of static type (i.e. with full mode checking in compile time), e.g., Algol 68, Ada, Modula 2. Habitually in embedded systems specialized computers are applied which are possible to use in extreme situations. But it is only very rare that such a computer has an involved operating system, disks and displays or HLL compilers. That is why large software projects are to be worked out using powerful tool (host) computers and cross-compilers. than 15 compilers and cross-compilers were implemented, best of which provide the coefficient of object code enlarging in compare with hand written programs less than 1.4. The implementation of a compiler, however, is very sophisticated problem and even a small loss of 1.4 times is often unfit for limited resources of specialized computers.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Event-B to Verified C via HLL

This work addresses the correct translation of an Event-B model to C code via an intermediate formal language, HLL. The proof of correctness follows two main steps. First, the final refinement of the Event-B model, including invariants, is translated to HLL. At that point, additional properties (e.g., deadlockfreeness, liveness properties, etc.) are added to the HLL model. The proof of the inva...

متن کامل

Identification in Cyberspace as a Main Challenge of e-Government (A Legal Approach to e-Identity Management System)

The penetration and growth of the Internet, as a key technology of the 21st century, caused to some major changes in all individual and social aspects of human life. Some of these changes, which associated with the evolution and changes in the concepts, including legal and political ones, have become a challenge. Identity as a legal and Government as a political concepts are in those fields whi...

متن کامل

New Approaches in Metaheuristics to Solve the Truck Scheduling Problem in a Cross-docking Center

Nowadays, cross-docking is one of the main concepts in supply chain management in which products received to a distribution center by inbound trucks which are directly to lead into outbound trucks with a minimum handling and storage costs as the main cost of a cross-docking system. According to the literature, several metaheuristics and heuristics are attempted to solve this optimization model....

متن کامل

A Clustering Approach to Scientific Workflow Scheduling on the Cloud with Deadline and Cost Constraints

One of the main features of High Throughput Computing systems is the availability of high power processing resources. Cloud Computing systems can offer these features through concepts like Pay-Per-Use and Quality of Service (QoS) over the Internet. Many applications in Cloud computing are represented by workflows. Quality of Service is one of the most important challenges in the context of sche...

متن کامل

خوشه‌بندی اسناد مبتنی بر آنتولوژی و رویکرد فازی

Data mining, also known as knowledge discovery in database, is the process to discover unknown knowledge from a large amount of data. Text mining is to apply data mining techniques to extract knowledge from unstructured text. Text clustering is one of important techniques of text mining, which is the unsupervised classification of similar documents into different groups. The most important step...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • The Computer Science Journal of Moldova

دوره 1  شماره 

صفحات  -

تاریخ انتشار 1993